منابع مشابه
Impossibility Result for Coherence Rankings
If we receive information from multiple independent and partially reliable information sources, then whether we are justified to believe these information items is affected by how reliable the sources are, by how well the information coheres with our background beliefs and by how internally coherent the information is. We consider the following question. Is coherence a separable determinant of ...
متن کاملManipulation and Single-Peakedness: A General Result
This article considers environments in which individual preferences are single-peaked with respect to an unspecified, but unidimensional, ordering of the alternative space. We show that in these environments, any institution that is coalitionally strategy-proof must be dictatorial. Thus, any nondictatorial institutional environment that does not explicitly utilize an a priori ordering over alte...
متن کاملA general minimax result for relative entropy
Suppose Nature picks a probability measure P on a complete separable metric space X at random from a measurable set P fP g Then without knowing a statistician picks a measure Q on X Finally the statistician su ers a loss D P jjQ the relative entropy between P and Q We show that the minimax and maximin values of this game are always equal and there is always a minimax strategy in the closure of ...
متن کاملA General Completeness Result in Refinement
In a paper in 1986, Hoare, He and Sanders proposed a formulation of refinement for a system equivalent to the ν-calculus using a relation based semantics. To give a proof method to show that one program is a refinement of another, they introduced downward simulation and upward simulation, but the proof method based upon either of them is not complete with respect to their notion of refinement, ...
متن کاملA General Adequacy Result for a Linear Functional Language
A main concern of the paper will be a Curry-Howard interpretation of Intuitionistic Linear Logic. It will be extended with recursion, and the resulting functional programming language will be given operational as well as categorical semantics. The two semantics will be related by soundness and adequacy results. The main features of the categorical semantics are that convergence/divergence behav...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 1989
ISSN: 0022-4049
DOI: 10.1016/0022-4049(89)90113-8